temporal operator中文是什么意思

發(fā)音:

中文翻譯
造句

時間算子

temporal n. 太陽穴，顳部；顳骨[肌，動脈等]。 adj. 顳的 ...
operator n. 1.操作者，機務(wù)員；司機，駕駛員；【軍事】電話兵； ...
temporal adj. 1.暫時的，一時的，轉(zhuǎn)瞬間的(opp. eternal)。 2.此世的，現(xiàn)世的；世俗的(opp. spiritual)。 3.時的，時間的 (opp. spatial) 【語法】表示時間的，時態(tài)的。 n. 1.一時的事物；俗事。世事。 2.世俗的權(quán)力〔多指教會的財產(chǎn)和收入〕。 a temporal death 假死。 temporal aims 世俗的目標。 temporal conjunctions 時間連接詞(如 when, while 等)。 temporal matters 世俗的事物。 temporal peers＝lords temporal 不居僧職的上院議員。 adv. -ly n. 太陽穴，顳部；顳骨[肌，動脈等]。 adj. 顳的。 the temporal bone 顳骨。
and operator 與算符; 與算子
and-operator 與算子; “與”算子
no such operator 操作員不存在
not operator “非”標符; 非算符; 求反算
operator n. 1.操作者，機務(wù)員；司機，駕駛員；【軍事】電話兵；【電話】接線員，話務(wù)員(＝telephone operator)；【電報】報務(wù)員。 2.(外科)施行手術(shù)者。 3.掮客，經(jīng)紀人。 4.【語法】功能詞。 5.【數(shù)學(xué)】算子，算符。 6.經(jīng)營者；〔美國〕工廠主，資方。 7.投機商人，騙子；精明圓滑的人。 8.【戲劇】燈光助理員。 an operator's set 話務(wù)員的電話機。 a telegraph operator 電報報務(wù)員。 an unitary operator 公正算符。 a mine operator 礦山經(jīng)營者，礦主。
operator a 操作員a
or operator 或算符; 或運算子
or-operator 或算子
the as operator 操作符
the is operator 操作符
the operator 生死連線
temporal convolution; temporal gyrus 顳回
temporal ridge; temporal line 顳脊
temporal sulcus of temporal bone 顳骨顳溝
54) temporal 一時的
anterior temporal 歲開始學(xué)習(xí)英語; 左腦的前側(cè)區(qū)
inferior temporal 顴下弓
left temporal 左顳的,左太陽穴的
lords temporal 〔英國〕上議院貴族議員。
master of temporal 時暫魔法大師
multi-temporal 多時相
parieto - temporal 左右腦的后側(cè)區(qū)

"查查詞典"手機版

千萬人都在用的超大詞匯詞典翻譯APP

例句與用法

Temporal rover includes all of the temporal operators as well as others designed for discussing events that occurred in the past
Temporal rover包括所有時態(tài)操作符以及為討論過去發(fā)生的事件而設(shè)計的其它操作符。
They have proved to be useful for specifying concurrent systems , since they can describe the ordering of events in time without introducing time explicitly . in ctl * formulas are composed of path quantifiers and temporal operators
和基于模擬、測試和演繹推理問題的傳統(tǒng)方法相比較,有著許多的優(yōu)點,也已經(jīng)成功地實踐于檢驗復(fù)雜的時序電路設(shè)計和通訊協(xié)議。
Studying time ' s basic attributes in detail , a time model is made at first in this context . in addition , the temporal interval and time point are analyzed and their temporal relations are described with the temporal operators
文中首先通過研究時間的基本屬性，確定表達時間的模型；進而分析時態(tài)區(qū)間和時間點并描述兩者間時態(tài)關(guān)系，并引入時態(tài)算子描述這些關(guān)系。
There are two quantifiers a ( for all computation paths ) and e ( for some computation path ) in path quantifiers ; and in temporal operators , there are five basic operators x ( next time ) , f ( eventually ) , g ( always ) , u ( until ) and r ( release ) . ctl * has two types of formulas : state formulas ( which are true in a specific state ) and path formulas ( which are true along a specific path ) ; and two useful sublogics : branching - time logic ctl and linear - time logic ltl . the distinction between the two is how they
本文首先介紹了模型檢測的一些基本概念和理論,然后介紹了與其密切相關(guān)的、在檢驗中用于描述系統(tǒng)屬性的時序邏輯,及實現(xiàn)模型檢測問題的方法,在基于上述關(guān)于概念、理論的基礎(chǔ)上,研究了診斷系統(tǒng)可診斷性的檢驗方法,說明了一個給定設(shè)備的診斷條件被破壞時當(dāng)且僅當(dāng)有臨界對的出現(xiàn),并定義了設(shè)備的耦合孿生模型,說明如何用它來尋找臨界對,最后使用模型檢測框架來構(gòu)造這個問題,把耦合孿生模型化簡為模型檢測問題。

推薦英語閱讀

temporal operator的中文翻譯，temporal operator是什么意思，怎么用漢語翻譯temporal operator，temporal operator的中文意思，temporal operator的中文，temporal operator in Chinese，temporal operator的中文，temporal operator怎么讀，發(fā)音，例句，用法和解釋由查查在線詞典提供，版權(quán)所有違者必究。